constraint reasoning
约束推理
热门查询
- Laverne n. 拉维恩(Verna的异体)(f.)
- Alcock 阿尔科克
- convince vt. 说服；使确信，使信服
- winnable adj. 能赢得的；可成功的
- roux n. （用于加浓羹汤等的）乳酪面粉糊 n. (Roux)人名；(英、法)鲁
- dehydration n. 脱水
- airy n. (Airy)人名；(英)艾里 adj. 空气的；通风的；幻想的；轻快的；空中的
- comfortable n. 盖被 adj. 舒适的，舒服的
- intelligibility n. [通信] 可懂度；可理解性；可理解的事物
- sixty num. 六十；六十个
- Nev abbr. neighborhood electric vehicle 邻区电动车
- sources n. 来源（source的复数）；输入源；发起者 v. 寻求（source的第三人称单数）；起源；发起
- nashville n. 那什维尔（美国田纳西州首府）
- Pinter n. 品特（姓氏）
- pestilence n. 瘟疫（尤指鼠疫）；有害的事物
- Babbitt n. 巴氏合金 n. (Babbitt)人名；(英)巴比特 vt. 给…浇巴氏合金
- inhaled 吸入
- mugshot 面部照片
- stile n. 阶梯 n. (Stile)人名；(意)斯蒂莱
- Alamein 阿拉曼[埃及北部一村庄](第二次世界大战战场)
考试词汇表
- complete system of residues
- complete terrain correction
- complete vehicle dry weight
- complete(sets of) equipment
- complete,angulated fracture
- complete-transposition-like
- completely additive measure
- completely compact operator
- completely eclipsing binary
- completely immersed bushing
- completely metrizable space
- completely miscible liquids
- completely mixed bioreactor
- completely orthogonalizable
- completely penetrating well
- completely positive entropy
- completely pressurized suit
- completely radomized design
- completely ramified algebra
- completely reducible matrix
